fix(jenkins) work around pull request builder issue