ensure pacemaker proposal gets right SBD device in VirtualBox