Correct name of travis file