Further fixes to Vagrantfile so that multiple VDI disks work