Problema Clipboard VirtualBox

El clipboard entre el guest y el host en ocasiones deja de funcionar. Empieza trabajando correctamente, pero tras un rato no es posible copiar del guest al host. Mi configuración es:

• VirtualBox 4.1.8
• Host Ubuntu
• Guest Windows XP

Parece un problema en el guest, para solucionarlo basta con parar VBoxTray y volverlo a arrancar. Dejo un pequeño script para automatizar la tarea cuando esto ocurra:

@echo off

taskkill /F /T /IM VBoxTray.exe

start VBoxTray.exe

exit

Meted esto en un cmd y lo lanzáis cuando surja el problema.