Fix settings for Travis-CI.