Fix another mac os x specific configuration