debian packaging of xserver-xorg-input-vmmouse