--- simp/Makefile	2010-07-10 18:07:36.000000000 +0200
+++ simp/Makefile	2011-09-08 12:51:53.000000000 +0200
@@ -1,4 +1,5 @@
 EXEC      = minisat
 DEPDIR    = mtl utils core
 
+include Makefile.conf
 include $(MROOT)/mtl/template.mk