changing travis file naming