diff --git a/examples/incl/Makefile b/examples/incl/Makefile
index e891be2dc53..8d1cd3643f9 100644
--- a/examples/incl/Makefile
+++ b/examples/incl/Makefile
@@ -15,10 +15,10 @@ all: uall
 uall: $(POSTARGETS) $(NEGTARGETS)
 
 $(POSTARGETS): %.pver: %
-	$(FSTAR) --include $^ --odir $^ Test.fst
+	$(FSTAR) --include $^ --odir $^ $^/Test.fst
 
 $(NEGTARGETS): %.nver: %
-	! $(FSTAR) --include $^ --odir $^ Test.fst > $^/error.log 2>&1
+	! $(FSTAR) --include $^ --odir $^ $^/Test.fst > $^/error.log 2>&1
 	@echo $^ failed as expected
 
 clean: