Externals PRs: A Few modifications to make it work with jenkins

It's fine to have a RESULT_DIR, but again, you should provide a default which is used by the docker build.