Patched winstone used in Jenkins