diff --git a/transfer/Makefile b/transfer/Makefile
index 5c2e68362..b4bee8ce8 100644
--- a/transfer/Makefile
+++ b/transfer/Makefile
@@ -7,8 +7,8 @@ GHCFLAGS=-i$(SRCDIR)
 .PHONY: all bnfc bnfctest doc docclean clean bnfcclean distclean
 
 all:
-	$(GHC) $(GHCFLAGS) --make -o run_core run_core.hs
-	$(GHC) $(GHCFLAGS) --make -o compile_to_core compile_to_core.hs
+	$(GHC) $(GHCFLAGS) --make -o trci trci.hs
+	$(GHC) $(GHCFLAGS) --make -o transferc transferc.hs
 
 bnfc: bnfcclean
 	cd $(SRCDIR) && bnfc -gadt -d -p Transfer Transfer/Core/Core.cf
@@ -38,8 +38,8 @@ docclean:
 clean:
 	-rm -f *.o *.hi
 	find $(SRCDIR)/Transfer -name '*.o' -o -name '*.hi' | xargs rm -f
-	-rm -f run_core	
-	-rm -f compile_to_core
+	-rm -f trci
+	-rm -f transferc
 	-rm -f test_core test_syntax test_layout
 
 bnfcclean: 
@@ -47,4 +47,3 @@ bnfcclean:
 	-rm -f $(SRCDIR)/Transfer/Syntax/{Doc,Lex,Par,Layout,Skel,Print,Test,Abs}.*
 
 distclean: clean bnfcclean
-
diff --git a/transfer/compile_to_core.hs b/transfer/transferc.hs
similarity index 87%
rename from transfer/compile_to_core.hs
rename to transfer/transferc.hs
index b35d906d0..a363ff75c 100644
--- a/transfer/compile_to_core.hs
+++ b/transfer/transferc.hs
@@ -22,4 +22,4 @@ main = do
                 cf <- compileFile path f
                 putStrLn $ "Wrote " ++ cf
                 return ()
-         _   -> die "Usage: compile_to_core [-i<path> [-i<path> ... ]] <file>"
+         _   -> die "Usage: transferc [-i<path> [-i<path> ... ]] <file>"
diff --git a/transfer/run_core.hs b/transfer/trci.hs
similarity index 94%
rename from transfer/run_core.hs
rename to transfer/trci.hs
index 0bb7f1aa8..3cfd02bd6 100644
--- a/transfer/run_core.hs
+++ b/transfer/trci.hs
@@ -28,7 +28,7 @@ main = do args <- getArgs
           let (flags,files) = partition ("-" `isPrefixOf`) args
           env <- case files of
             [f] -> loadFile f
-            _   -> fail "Usage: run_core [-i] <file>"
+            _   -> fail "Usage: trci [-i] <file>"
           when ("-v" `elem` flags) $ do
                                      putStrLn "Top-level environment:"
                                      putStrLn (prEnv env)