Fix travis-ci configuration file