some settings for travis