diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index 714d9c693..f90d1e03a 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -77,6 +77,7 @@ OCAMLBUILD_OPTIONS = \
                      $(OCAMLBUILD_BINANNOT_OPTIONS) \
                      $(OCAMLBUILD_QUIET_OPTIONS) \
                      -classic-display \
+                     -cflags -short-paths \
                      -cflags -principal \
                      -cflags -strict-formats \
                      -cflags -strict-sequence \