fix the settings for travis