New settings for Travis-CI