properly name travis file