hmm i had a bit of time to look into this again, sorry for the delay is /var/lib/selinux/targeted/active/modules/100/ajaxterm/ existing but empty? if so, could you try to delete the folder and check if it fixes your problem?