ati/fglrx and selinux?