Proper travis file name