Fix nix on 32 bit platforms