diff --git a/src/Main.hs b/src/Main.hs
index 682f2c7..34900de 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -4,6 +4,7 @@ import Idris.Core.TT
 import Idris.AbsSyntax
 import Idris.ElabDecls
 import Idris.REPL
+import Idris.Main
 
 import IRTS.Compiler
 import IRTS.CodegenEmpty
@@ -31,7 +32,7 @@ cg_main :: Opts -> Idris ()
 cg_main opts = do elabPrims
                   loadInputs (inputs opts) Nothing
                   mainProg <- elabMain
-                  ir <- compile (Via "emptycg") (output opts) mainProg
+                  ir <- compile (Via IBCFormat "emptycg") (output opts) (Just mainProg)
                   runIO $ codegenEmpty ir
 
 main :: IO ()