Fix settings for TravisCI