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