fix name of travis file