debian packaging of xserver-xorg-video-voodoo