diff --git a/Makefile.local b/Makefile.local
index 8a6c46f..6c8a28f 100644
--- a/Makefile.local
+++ b/Makefile.local
@@ -2,7 +2,7 @@
 # This adds compilation of a test file, without adding it to the
 # install target.
 
-post-all::
+tests:
 	@echo -n building tests...
 	$(SHOW) 'COQC LibHyps/LibHypsTest.v'
 	$(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(TIMING_ARG) $(COQFLAGS) -w -undo-batch-mode $(COQLIBS) ./LibHyps/LibHypsTest.v $(TIMING_EXTRA) 
diff --git a/_CoqProject b/_CoqProject
index 5ea0de8..142c6d3 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,8 +1,8 @@
 -R LibHyps LibHyps
 
-./LibHyps/LibDecomp.v
-./LibHyps/TacNewHyps.v
-./LibHyps/LibHyps.v
-./LibHyps/LibHypsTactics.v
-./LibHyps/LibHypsNaming.v
-./LibHyps/LibSpecialize.v
+LibHyps/LibHypsNaming.v
+LibHyps/LibHypsTactics.v
+LibHyps/LibSpecialize.v
+LibHyps/LibDecomp.v
+LibHyps/TacNewHyps.v
+LibHyps/LibHyps.v
diff --git a/configure.sh b/configure.sh
index be63a86..1d64956 100755
--- a/configure.sh
+++ b/configure.sh
@@ -3,7 +3,7 @@
 FILES=`find . -name "*.v" -exec echo {} \;`
 echo "-R LibHyps LibHyps" > _CoqProject
 echo "" >> _CoqProject
-for i in `find . -name "*.v"| grep -v LibHypsNaming2 | grep -v LibHypsExamples | grep -v LibHypsDemo | grep -v LibHypsTest `; do
+for i in `find LibHyps -name "*.v"| grep -v LibHypsNaming2 | grep -v LibHypsExamples | grep -v LibHypsDemo | grep -v LibHypsTest | grep -v LibHypsRegression`; do
   echo $i >> _CoqProject
 done
 coq_makefile -f _CoqProject -o Makefile