name travis file appropriately