agda-mode activated after load, syntax-highlighting now defaulted to on