Fix after-make-frame-functions hook.
Get agda2-mode to work by setting agda2-include-dirs.