specify mac os x v10.8.5