Update settings for Travis CI