fix naming of travis file