workaround for outdated travis xctool