Temporary fix for Travis errors

Workaround for the Travis OS X image bug documented at https://github.com/travis-ci/travis-ci/issues/1657