fix mistake in the travis config file name