diff --git a/SConstruct b/SConstruct
index 1c23caeec5693d002b787cdc8dd6e0ebd731e382..00d1637d796d9ae723bb3e5c29ca2bbb8548852b 100644
--- a/SConstruct
+++ b/SConstruct
@@ -3,7 +3,7 @@
 import os, glob, string
 
 modules = ["prelude", "iris"]
-Rs = ' '.join(['-Q ' + x + ' ' + x for x in modules])
+Rs = '-Q . ""'
 env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)
 
 # Coq dependencies