[Nix-dev] proofgeneral cannot find proof-site.el

[Maarten Faddegon]

Hi Karn Kallio, (or whomever took over the maintenance of proofgeneral)

I just installed ProofGeneral-4.1 and when I issue the command 
'proofgeneral' with no arguments it fails during startup with the error: 
"Cannot open load file: 
/nix/store/vbxavv9hma2f8ayrxwqj0x28kaqr8dbh-ProofGeneral-4.1/generic/proof-site.el".

I would expect it to try to load from
/var/run/current-system/sw/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el
or from
/nix/store/vbxavv9hma2f8ayrxwqj0x28kaqr8dbh-ProofGeneral-4.1/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el

Looking at the ProofGeneral/default.nix and sed substitution rules I 
cannot figure out what is going wrong, could you please shed some light 
on this?

Thanks,
   Maarten Faddegon