Update jenkins.patch to latest changes.

This is for issue #464.