diff --git a/packages/swi-minisat2/C/Makefile.in b/packages/swi-minisat2/C/Makefile.in
index 6d2a3f656..ff6d3ba52 100644
--- a/packages/swi-minisat2/C/Makefile.in
+++ b/packages/swi-minisat2/C/Makefile.in
@@ -61,8 +61,11 @@ SOBJS=pl-minisat@SHLIB_SUFFIX@
 all: $(SOBJS) 
 
 # default rule
-%.o : $(srcdir)/%.C
-	$(CXX) -c $(CXXFLAGS)  $(SHLIB_CFLAGS) $< -o $@
+Solver.o : $(srcdir)/Solver.C
+	$(CXX) -c $(CXXFLAGS)  $(SHLIB_CFLAGS) $(srcdir)/Solver.C -o Solver.o
+
+pl-minisat.o : $(srcdir)/pl-minisat.C
+	$(CXX) -c $(CXXFLAGS)  $(SHLIB_CFLAGS) $(scrdir)/pl-minisat.C -o pl-minisat.o
 
 @DO_SECOND_LD@pl-minisat@SHLIB_SUFFIX@: $(OBJS)
 @DO_SECOND_LD@	@SHLIB_LOWER_LD@ -o pl-minisat@SHLIB_SUFFIX@ $(OBJS)