mavericks hotfix