Update jenkins.patch to latest changes.

This is for issue #464, @whimboo, @andreieftimie please have a look.