fix some clang compile errors in minisat