Makefile from minisat repo