moved the mavericks check inside the Darwin if