We should also update the box URLs for both VirtualBox and VMWare.