diff --git a/.dir-locals.el b/.dir-locals.el
index ee845344606b5da0003bb921dffd010b2a7313e5..e9d4c92f06ae7a00e47bc6ac8a4d30a84b1ae4b4 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "lib/ModuRes/" "ModuRes"))))
+   (rec "." "_"))))
 
 
diff --git a/Makefile b/Makefile
index ce98c7d60cd89472c6669d8684468dfbaef9a7e8..6924341936ac4c777579aeebbb41398267436b1e 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ $(call includecmdwithout@,$(COQBIN)coqtop -config)
 #                        #
 ##########################
 
-COQLIBS?=-I . -R lib/ModuRes ModuRes
+COQLIBS?=-I . -R . _
 COQDOCLIBS?=-I lib
 
 ##########################
diff --git a/lib/ModuRes/.dir-locals.el b/lib/ModuRes/.dir-locals.el
index 44673b5a49b0e9c498059e82dad73354f19024ff..a13fe1a9d4d5f45b8e23c2ae0a53f5ab40e51a44 100644
--- a/lib/ModuRes/.dir-locals.el
+++ b/lib/ModuRes/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "./" "ModuRes"))))
+   (rec "../../" "_"))))