fixed wrong travis file naming