Fixed gcc warnings in ezminisat