grr more travis-ci collisions