A atualização de xserver-xorg-input-vmmouse para a versão 1:12.9.0-0ubuntu0.1 (não é necessário especificar a versão, apenas sudo apt-get install xserver-xorg-input-vmmouse será suficiente) parece ser a maneira de solucioná-la. Funcionou para mim!
Para referência, eu descobri sobre isso lá: