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

/dev/disk/by-id is not stable in VirtualBox so we don't want to rely on
it.