always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);