Remove debugging info from minisat.