diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index 05bfe9f55..63d622e80 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -33,6 +33,8 @@ OCAML_FATAL_WARNINGS = +5+6+8+10+11+12+18+19+20+26+29+27+32+33+34+35+37+38+39
 
 OCAMLBUILD_OPTIONS = \
                      -classic-display \
+                     -r \
+                     -cflags -g -lflags -g \
                      -cflags -short-paths \
                      -cflags -safe-string \
                      -cflags -principal \
diff --git a/infer/src/_tags b/infer/src/_tags
deleted file mode 100644
index 536456678..000000000
--- a/infer/src/_tags
+++ /dev/null
@@ -1 +0,0 @@
-true: debug