maxima fails to load because of selinux, other things happening