[Jenkins] fix the path in pull-request-builder.py