Fix minisat+ Makefile to let us add stuff to variables