Hi Danny, Danny Milosavljevic skribis: > On Sun, 15 Mar 2020 22:00:04 +0100 > Ludovic Courtès wrote: > >> > + (invoke (string-append kmod "/bin/depmod") >> >> Generally, for this kind of utility function, we assume that the tool is >> in $PATH, which allows us to avoid carrying its file name throughout the >> API. I’d suggest doing the same here. > > Hmm, does that mean I should also change PATH in the profile hook? Yes, I think that’s the only change you have to do: (setenv "PATH" #+(file-append kmod "/bin")) in the profile hook. HTH, Ludo’.