Re: Drawing lessons from fatal SELinux bug #1054350