travis-ci: attempt to use OSX