Index: src/main.cc
===================================================================
--- src/main.cc	(revision fa761c2aa9a4a9b1a22e28f45f380ba9d9ad36c0)
+++ src/main.cc	(revision 5ad24a2cd208c7caeaf7524fecf55d071f12e25a)
@@ -10,6 +10,6 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Sep 28 22:28:45 2023
-// Update Count     : 687
+// Last Modified On : Wed Nov  1 21:12:58 2023
+// Update Count     : 690
 //
 
@@ -289,10 +289,10 @@
 
 			// Read to gcc builtins, if not generating the cfa library
-			FILE * gcc_builtins = fopen( (PreludeDirector + "/gcc-builtins.cf").c_str(), "r" );
+			FILE * gcc_builtins = fopen( (PreludeDirector + "/gcc-builtins.cfa").c_str(), "r" );
 			assertf( gcc_builtins, "cannot open gcc-builtins.cf\n" );
 			parse( gcc_builtins, ast::Linkage::Compiler );
 
 			// read the extra prelude in, if not generating the cfa library
-			FILE * extras = fopen( (PreludeDirector + "/extras.cf").c_str(), "r" );
+			FILE * extras = fopen( (PreludeDirector + "/extras.cfa").c_str(), "r" );
 			assertf( extras, "cannot open extras.cf\n" );
 			parse( extras, ast::Linkage::BuiltinC );
@@ -305,5 +305,5 @@
 
 				// Read to cfa builtins, if not generating the cfa library
-				FILE * builtins = fopen( (PreludeDirector + "/builtins.cf").c_str(), "r" );
+				FILE * builtins = fopen( (PreludeDirector + "/builtins.cfa").c_str(), "r" );
 				assertf( builtins, "cannot open builtins.cf\n" );
 				parse( builtins, ast::Linkage::BuiltinCFA );
@@ -431,6 +431,5 @@
 		PASS( "Code Gen", CodeGen::generate, transUnit, *output, !genproto, prettycodegenp, true, linemarks, false );
 
-		CodeGen::FixMain::fix( transUnit, *output,
-				(PreludeDirector + "/bootloader.c").c_str() );
+		CodeGen::FixMain::fix( transUnit, *output, (PreludeDirector + "/bootloader.c").c_str() );
 		if ( output != &cout ) {
 			delete output;