Several build fixes. Removed custom minisat, now using vanilla minisat code from the github repo.