Fixing some bad VirtualBox links (hopefully)