Travis: use a mac for now