How to install patchelf on Debian 9 (Stretch)