Hi Ludo, 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?