settings for travis