Fix random travis fails