Use my branch that works for minisat+