diff --git a/Makefile b/Makefile
index fee8969..01a4d6a 100644
--- a/Makefile
+++ b/Makefile
@@ -45,7 +45,7 @@ HASNATDYNLINK     := $(COQMF_HASNATDYNLINK)
 OCAMLWARN         := $(COQMF_WARN)
 
 Makefile.conf: _CoqProject
-	coq_makefile -f _CoqProject Maps.v Imp.v -o Makefile
+	coq_makefile -f _CoqProject Basics.v Induction.v Lists.v Logic.v Polymorphism.v Tactics.v Maps.v -o Makefile
 
 # This file can be created by the user to hook into double colon rules or
 # add any other Makefile code he may need
diff --git a/Makefile.conf b/Makefile.conf
index f05655d..b2b9b9d 100644
--- a/Makefile.conf
+++ b/Makefile.conf
@@ -1,5 +1,5 @@
 # This configuration file was generated by running:
-# coq_makefile -f _CoqProject Maps.v Imp.v -o Makefile
+# coq_makefile -f _CoqProject Basics.v Induction.v Lists.v Logic.v Polymorphism.v Tactics.v Maps.v -o Makefile
 
 COQBIN?=
 ifneq (,$(COQBIN))
@@ -14,7 +14,7 @@ COQMKFILE ?= "$(COQBIN)coq_makefile"
 #                                                                             #
 ###############################################################################
 
-COQMF_CMDLINE_VFILES := Maps.v Imp.v
+COQMF_CMDLINE_VFILES := Basics.v Induction.v Lists.v Logic.v Polymorphism.v Tactics.v Maps.v
 COQMF_SOURCES := $(shell $(COQMKFILE) -sources-of -f _CoqProject $(COQMF_CMDLINE_VFILES))
 COQMF_VFILES := $(filter %.v, $(COQMF_SOURCES))
 COQMF_MLIFILES := $(filter %.mli, $(COQMF_SOURCES))
@@ -42,10 +42,10 @@ COQMF_CMDLINE_COQLIBS =
 #                                                                             #
 ###############################################################################
 
-COQMF_COQLIB=/usr/lib/coq/
-COQMF_COQCORELIB=/usr/lib/coq/../coq-core/
-COQMF_DOCDIR=/usr/share/doc/
-COQMF_OCAMLFIND=/usr/bin/ocamlfind
+COQMF_COQLIB=/home/wball/.opam/default/lib/coq/
+COQMF_COQCORELIB=/home/wball/.opam/default/lib/coq/../coq-core/
+COQMF_DOCDIR=/home/wball/.opam/default/share/doc/
+COQMF_OCAMLFIND=/home/wball/.opam/default/bin/ocamlfind
 COQMF_CAMLFLAGS=-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70
 COQMF_WARN=-warn-error +a-3
 COQMF_HASNATDYNLINK=true