Trying to fix travis-ci OSX