Someone installed Agda in Fedora 17 using "yum install emacs-agda". Everything works except that there is no syntax highlighting in emacs. Does anybody know a possible cause and/or fix for this?