diff --git a/Make.hs b/Make.hs
index 686067d16..05872407f 100644
--- a/Make.hs
+++ b/Make.hs
@@ -393,7 +393,7 @@ gfcn bi mode summary files = do
 run_gfc :: Info -> [String] -> IO ()
 run_gfc bi args = do
   let
-    args' = ["--batch","--gf-lib-path="++sourceDir] ++ filter (not . null) args
+    args' = ["--batch"] ++ filter (not . null) args
     gf = infoGFPath bi
   execute gf args'