trying different travis osx settings