ma esegui questo ?

VirtualBox_1.3.2_Linux_x86.run
per la verità io ho scelto la strada facile ed ho scaricato il .deb.