Fix name of travis file