Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 4af1021222ebee71d7876b1f550cbe3822f4ee0c)
+++ 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))]
 			}
 		}
