Fix workflow for mavericks