Correct the travis config filename