Travis: fix MAC OS X build