Fix VirtualBox ISO URLs