On 2013-04-04 19:25, John Colvin wrote: > Any luck? Ok, I've been able to boot my virtual machines again. Unfortunately I had installed Debian 64bit and I can't find any 32bit packages for the required libraries. I'm going to install a 32bit version now. -- /Jacob Carlborg