Update config for Travis CI