Fix Jenkins url
Merge pull request #803 from andrejzverev/issue796

Fix Jenkins url

Committed, thanks!