All that's needed to replicate the bug is to install setroubleshoot and try to launch it with `sudo setroubleshootd`