Try to fix Travis OSX