(travis) Accommodate a slow mirror grrrrr