Fixed name of Travis file