Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 29f4fe62da848d80ee775aea3fd946d02bda6b5a)
+++ Jenkinsfile	(revision 65fdb597b3cc82e81546a253d1b0fb0a571c1860)
@@ -40,7 +40,7 @@
 //Description of a compiler
 class CC_Desc {
-	String name
-	String cpp-cc
-	String cfa-backend-cc
+	public String cc-name
+	public String cpp-cc
+	public String cfa-backend-cc
 }
 
@@ -51,5 +51,5 @@
 //Wrapper to sync stage name and status name
 def build_stage(String name) {
-	def stage_name = "${currentCC.name} ${name}".trim()
+	def stage_name = "${currentCC.cc-name} ${name}".trim()
 	stage stage_name