In extras there is udev_selinux. From where is this supposed to be called? Attached is a totally untested patch to make it compile.