change filenames in .travis.yml