remove settings for travis pro