Fixed build error in MiniSat head (which will hopefully get fixed over there soon).