Specify location of patchelf binary as an environment variable
Various users of the tools/prj-rpath.py script will likely have the patchelf
binary located in different places. Rather than every user monkeypatching the patch_file()
routine in tools/prj-rpath.py with their own location for patchelf
, accept an environment variable (and/or a command line option) specifying the location of patchelf
.