Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f25bcb62860f0d5d5ac4388b87bcf89aba7d6f74)
+++ Jenkinsfile	(revision f979c4ab2591ce6818d87b0a30c72e9ee7e7eb47)
@@ -80,5 +80,5 @@
 
 				//Compile using gcc-4.9
-				currentCC = ['gcc-4.9', 'g++-4.9', 'gcc-4.9'] as CC_Desc
+				currentCC = new CC_Desc('gcc-4.9', 'g++-4.9', 'gcc-4.9')
 				cfa_build()