On Wed, May 25, 2022 at 11:08:06AM +0300, Tero Tervala wrote:
> Hi, there is now PR on the nixpkgs side for this fix.

Thanks a lot!  It might take me a few days to get a chance to review
(but of course somebody else might in the meantime).