Small fix in ceh_nix_install.