diff --git a/packages/chr b/packages/chr
index c325e4564..f6a790076 160000
--- a/packages/chr
+++ b/packages/chr
@@ -1 +1 @@
-Subproject commit c325e4564bb8d4e32c27f2061df85f13d315974e
+Subproject commit f6a79007615bf46dc79712c41d61289834f28ba3
diff --git a/packages/jpl b/packages/jpl
index a2d2f0310..eb6d27251 160000
--- a/packages/jpl
+++ b/packages/jpl
@@ -1 +1 @@
-Subproject commit a2d2f03107eecd45462cd61a678035132cf06326
+Subproject commit eb6d27251c2548c25e6d37fff2a27a014caaa7aa
diff --git a/packages/swi-minisat2/C/Makefile.in b/packages/swi-minisat2/C/Makefile.in
index ff6d3ba52..1cf49b854 100644
--- a/packages/swi-minisat2/C/Makefile.in
+++ b/packages/swi-minisat2/C/Makefile.in
@@ -65,7 +65,7 @@ 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
+	$(CXX) -c $(CXXFLAGS)  $(SHLIB_CFLAGS) $(srcdir)/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)