corrected configuration file for Travis CI