Don't download VirtualBox if it's already in Build-Assets/