for what it's worth, I just tried installing the new
selinux-policy-strict and -targeted and there is a dependency between
setools and the old policy (and policy-source).
It seems that we need updated rpms for setools and setools-gui.
Richard Hally