diff --git a/Makefile b/Makefile
index fc7a1d11d6b957314b431386ded1465d2db218c0..413254d16f14a82cc0f073a5d7b718366b1d26c9 100644
--- a/Makefile
+++ b/Makefile
@@ -23,4 +23,4 @@ clean:
 	make -C tests clean
 
 test: main.native
-	OCAMLRUNPARAM=b make -C tests
+	make -C tests
diff --git a/src/main.ml b/src/main.ml
index e107385c5f418f7f6f90a9fa39d7e69b5414d72b..c19c01fd1bf5ee85696dd43782870693430edb1b 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -180,6 +180,7 @@ let _ =
         set_default ltl_dump basename ".ltl";
       end;
 
+      Printexc.record_backtrace true;
       let compiler_res =
         try
         pass_tokenize input >>= fun tokens ->