diff --git a/Makefile_happysrcs b/Makefile_happysrcs
index a535179..e0dc43e 100644
--- a/Makefile_happysrcs
+++ b/Makefile_happysrcs
@@ -1,5 +1,5 @@
 HAPPY = happy
-HAPPY_OPTS = -a -g -c -d -i/tmp/happy-info
+HAPPY_OPTS = -a -g -c
 ALEX = alex
 ALEX_OPTS = -g