Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 59be8732a9bc952f20841a215fa27b812c300b64)
+++ Jenkinsfile	(revision c02f76158a7a8cf2dc6bfdaeced0d4d5c32aaaf0)
@@ -262,7 +262,7 @@
 		//Output compiler version to help with debug
 		echo """C++ Compiler :"""
-		sh "${compiler.cpp_cc} --version"
+		sh "which ${compiler.cpp_cc} && ${compiler.cpp_cc} --version"
 		echo """C   Compiler :"""
-		sh "${compiler.cfa_cc} --version"
+		sh "which ${compiler.cfa_cc} && ${compiler.cfa_cc} --version"
 
 		//Configure the conpilation (Output is not relevant)