Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 1b6a23ef3cb25774d31597b1bcdd49300c865e5c)
+++ Jenkinsfile	(revision 3fedd29e31cecc92c01e8fd28d0934b9d556635c)
@@ -181,6 +181,6 @@
 					[$class: 'ParametersDefinitionProperty',				\
 						parameterDefinitons: [						\
-						[$class: 'ChoiceParameterDefinition',				\
-						  choices: ['64bit', '32bit'],				\
+						[$class: 'StringParameterDefinition',				\
+						  defaultValue: '64bit',					\
 						  description: 'The architecture to use for compilation',	\
 						  name: 'buildArchitecture'					\
