Remove minisat2, newer version in math/minisat.