Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision a6e0e4c5c29ace5b7d75b6c7e35a102690aadc6b)
+++ Jenkins/FullBuild	(revision 6ce9a4f297d4918e7b8b49639bfe4b05657a5dcf)
@@ -32,5 +32,5 @@
 
 			stage('Package') {
-				build job: 'Cforall_Distribute_Ref', parameters: [string(name: 'GitRef', value: commitId), string(name: 'Build', value: currentBuild.number)]
+				build job: 'Cforall_Distribute_Ref', parameters: [string(name: 'GitRef', value: commitId), string(name: 'Build', value: Integer.toString((currentBuild.number))]
 			}
 		}