travis fix on osx