Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 59be8732a9bc952f20841a215fa27b812c300b64)
+++ Jenkinsfile	(revision 67db067fc7bd97efa9d8b2eabfa85c70c1aeb2dc)
@@ -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)