More settings for travis.