diff --git a/infer/src/Makefile b/infer/src/Makefile
index 5c50833c2..677b92d9e 100644
--- a/infer/src/Makefile
+++ b/infer/src/Makefile
@@ -68,7 +68,7 @@ TYPEPROP_BINARY = $(BINDIR)/Typeprop
 
 INFERPRINT_ATDGEN_STUB_BASE = $(BACKEND_SOURCES)/jsonbug
 INFERPRINT_ATDGEN_STUB_ATD = $(INFERPRINT_ATDGEN_STUB_BASE).atd
-INFERPRINT_ATDGEN_SUFFIXES = _t.ml _t.mli _j.ml _j.mli _v.ml _v.mli
+INFERPRINT_ATDGEN_SUFFIXES = _t.ml _t.mli _j.ml _j.mli
 INFERPRINT_ATDGEN_STUBS = $(addprefix $(INFERPRINT_ATDGEN_STUB_BASE), $(INFERPRINT_ATDGEN_SUFFIXES))
 
 INFERPRINT_MAIN = $(BACKEND_SOURCES)/inferprint