Fix ignoring jenkins in feedcenter.ini