avoid use of /dev/disk/by-id in VirtualBox

Not tested yet!