Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b3e972935f6f7771e50f45a552aaae0f45c2f7e7)
+++ Jenkinsfile	(revision 692de4791df2f4953f8eb95a7c66dbec07d9410e)
@@ -113,15 +113,15 @@
 					description: 'The target architecture',					\
 					name: 'pArchitecture',								\
-					choices: '64-bit\n32-bit',							\
-					defaultValue: '64-bit',								\
+					choices: 'x64\nx86',								\
+					defaultValue: 'x64',								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If false, only the quick test suite is ran', 		\
-					name: 'pRunAllTests', 							\
+					name: 'pRunAllTests', 								\
 					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also runs benchmarks', 		\
-					name: 'pRunBenchmark', 							\
+					name: 'pRunBenchmark', 								\
 					defaultValue: true,  								\
 				], 												\
@@ -219,8 +219,8 @@
 def architecture_from_params( arch ) {
 	switch( arch ) {
-		case '64-bit':
+		case 'x64':
 			return '--host=x86_64 CXXFLAGS="-m64" CFAFLAGS="-m64"'
 		break
-		case '32-bit':
+		case 'x86':
 			return '--host=i386   CXXFLAGS="-m32" CFAFLAGS="-m32"'
 		break