On the off-chance that you&#39;ve hit this particular one (there&#39;s no clear indication) - taking a dump of a 64-bit guest from a 32-bit host will not work. libxc bug that gave me no end of grief.<br><br>