Perhaps the correct solution is to upgrade to Texis 7? I don't think we've encountered that problem in SELinux with Texis 7.