Convert virtual machine from vmware.vmdk to virtualbox.vdi

Easiest way to convert virtual machine from vmware.vmdk to virtualbox.vdi is to use these two tools: qemu and vditool
Navigate to you vmware machine which you would like to convert. Then run following command:
qemu-img convert -f vmdk vmware.vmdk -O raw virtualbox.bin
then you need to download vditool from:
http://www.virtualbox.org/download/testcase/vditool
make vditool executable:

chmod +x vditool
Use vditool to convert virtual images:
./vditool [...]

vditool: error while loading shared libraries: libstdc++.so.5

I have recently run into a problem when I was trying to convert vmware virtual machine to virtualbox using vditool. Apparently having the latest software is not always good idea. vditool is complaining that it is missing libstdc++.so.5 library. I have only installed libstdc++.so.6 which is there by default. libstdc++.so.5 belongs to gcc-3.3-base compiler.
Here is [...]

virtualbox.org - The following signatures couldn’t be verified because the public key is not available

This is for those who are trying to install virtualbox via debian apt-get tool and are having this error message on the screen:
Reading package lists… Done
W: GPG error: http://www.virtualbox.org etch Release: The following signatures couldn’t be verified because the public key is not available: NO_PUBKEY 390EC3FF927CCC73
W: You may want to run apt-get update to correct [...]