Fix bad solver detection on mac