Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 33c849e53f1df1d165d09fdc8bac3b72aaec9aa0)
+++ driver/cc1.cc	(revision 7c8246d867f7b610be8221b2a38ff71d995b33e8)
@@ -10,6 +10,6 @@
 // Created On       : Fri Aug 26 14:23:51 2005
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Aug 30 12:47:39 2019
-// Update Count     : 380
+// Last Modified On : Fri Aug 30 15:36:42 2019
+// Update Count     : 377
 //
 
@@ -33,5 +33,4 @@
 
 
-static string library_path( CFA_LIBDIR );				// cfa-cpp path
 static string compiler_path( CFA_BACKEND_CC );			// C compiler path/name
 static bool CFA_flag = false;							// -CFA flag
@@ -431,6 +430,5 @@
 
 	if ( fork() == 0 ) {								// child runs CFA
-//		if ( bprefix != library_path ) { cerr << bprefix << " " << library_path << endl; abort(); }
-		cargs[0] = ( *new string( library_path + "cfa-cpp" ) ).c_str();
+		cargs[0] = ( *new string( bprefix + "cfa-cpp" ) ).c_str();
 		cargs[ncargs++] = cpp_in;