>> I can’t find anything relevant there.  I suppose that Nix people don’t
>> have to touch those binaries since they have ‘/bin/sh’ in a chroot.

> What string exactly are you trying to patch?  Just /bin/sh?  In which
> binary?

For now, at least ‘/bin/sh’ in ‘inplace/bin/ghc-cabal’.

> I’m not sure about the details.  I would have expected tools like BFD or
> libelf to provide the necessary support to make this kind of operation
> easier, but I’ve never tried myself.

OK, I’ll try and report back.