Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c02f76158a7a8cf2dc6bfdaeced0d4d5c32aaaf0)
+++ Jenkinsfile	(revision 43c461da57a6b7e67b030127cc6b531975a67091)
@@ -267,6 +267,5 @@
 
 		//Configure the conpilation (Output is not relevant)
-		//Use the current directory as the installation target so nothing
-		//escapes the sandbox
+		//Use the current directory as the installation target so nothing escapes the sandbox
 		//Also specify the compiler by hand
 		sh "./configure CXX=${compiler.cpp_cc} ${architecture} --with-backend-compiler=${compiler.cfa_cc} --prefix=${install_dir} --enable-silent-rules --quiet"
Index: src/Common/Heap.cc
===================================================================
--- src/Common/Heap.cc	(revision c02f76158a7a8cf2dc6bfdaeced0d4d5c32aaaf0)
+++ src/Common/Heap.cc	(revision 43c461da57a6b7e67b030127cc6b531975a67091)
@@ -10,6 +10,6 @@
 // Created On       : Thu May  3 16:16:10 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri May  4 17:17:59 2018
-// Update Count     : 27
+// Last Modified On : Fri May  4 17:27:31 2018
+// Update Count     : 28
 //
 
@@ -145,13 +145,4 @@
 #endif // _GNU_SOURCE
 
-		error = dlerror();
-		if ( error ) {
-			std::cerr << "interpose_symbol : internal error, " << error << std::endl;
-			abort();
-		}
-
-		return fptr;
-	}
-
 	extern "C" {
 		void * malloc( size_t size ) __attribute__((malloc));