Fix travis setting file.