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á: