Ah, well I have a branch called "uuids" that should fix that across the board, but you could also upgrade to VirtualBox 4.1 if you can and that will fix it too. That branch should be merged this weekend too, I just have to test on older versions in Linux.