virtualbox: vboxusers may use /dev/vboxnetctl