Anyway, the fix is rather simple. Just modify
/etc/X11/xorg.conf
by adding the following lines:
Section "InputDevice"
Identifier "Configured Mouse"
Driver "vboxmouse"
Option "CorePointer"
EndSection
Then, reboot.
Managing day-to-day stuff with Ubuntu
/etc/X11/xorg.conf
by adding the following lines:
Section "InputDevice"
Identifier "Configured Mouse"
Driver "vboxmouse"
Option "CorePointer"
EndSection