give travis OSX a break (see #https://github.com/travis-ci/travis-ci/issues/2792)