added so settings.jenkins will work