On (16/11/13 18:11), Dave Woodfall <dave at dawoodfall.net> put forth the proposition: <snip> > >Failed: > >vhba-module (/lib/modules/3.10.17/build: No such file or directory) I needed to reinstall kernel-modules. This now builds. D.