Index: src/main.cc
===================================================================
--- src/main.cc	(revision 72b057346c6dc86124d02abb317c6b1e7d54d04d)
+++ src/main.cc	(revision e523b07aa19c5a8ce7a69a9d4e9ff161b3fbbedf)
@@ -172,5 +172,5 @@
 			if ( filename == nullptr ) filename = argv[ optind ];
 			// prelude filename comes in differently
-			if ( libcfap ) filename = "prelude.cf";
+			if ( libcfap ) filename = "prelude.cfa";
 			optind += 1;
 		} else {										// no input file name
@@ -199,6 +199,6 @@
 			if ( ! libcfap ) {
 				// read the prelude in, if not generating the cfa library
-				FILE * prelude = fopen( (PreludeDirector + "/prelude.cf").c_str(), "r" );
-				assertf( prelude, "cannot open prelude.cf\n" );
+				FILE * prelude = fopen( (PreludeDirector + "/prelude.cfa").c_str(), "r" );
+				assertf( prelude, "cannot open prelude.cfa\n" );
 				parse( prelude, LinkageSpec::Intrinsic );