tweak settings for travis a bit