Hi Is the libxc renaming really neccesery? I can't see any libxc in the xen package and apt-file search libxc | grep xen doesn't show anything. I see a libxcb package, but no file there that is just libxc. Cheers, Oli