fix: download the jenkins_feed.py file, too