travis: fix osx