diff --git a/compiler/heptagon/main/heptcheck.ml b/compiler/heptagon/main/heptcheck.ml
index 977566b..a3059d9 100644
--- a/compiler/heptagon/main/heptcheck.ml
+++ b/compiler/heptagon/main/heptcheck.ml
@@ -26,15 +26,16 @@ let check_implementation modname filename =
 
   try
     init_compiler modname;
+    add_include (Filename.dirname filename);
 
     (* Parsing of the file *)
-    let p = do_silent_pass parse_implementation "Parsing" lexbuf true in
+    let p = do_silent_pass "Parsing" (parse_implementation modname) lexbuf in
 
     (* Convert the parse tree to Heptagon AST *)
-    let p = do_pass Hept_scoping.translate_program "Scoping" p pp true in
+    let p = do_pass "Scoping" Hept_scoping.translate_program p pp in
 
     (* Call the compiler*)
-    let p = do_silent_pass Hept_compiler.compile_impl "Checking" p true in
+    let _ = compile_impl pp p in
 
     close_all_files ()