travis-ci: osx script update