nixpkgs

[Backport release-25.11] cbmc: fix compilation error on darwin

#469151

Merged