When adding new object classes and permissions to SELinux policy is it necessary to re-create flask.h and av_permissions.h header files so that a user-space object manager can access the associated defines? If so, would someone give me some pointers as to how these are generated?

Thanks,

Andy