Where the VDDK can be downloaded? The official download links don't work