guix/corepkgs/config.nix.in