This reverts commit 1ed9ba08f1. After the underlying bug in `auto-patchelf.py` got fixed, this workaround is no longer necessary.
1ed9ba08f1