(setq agda2-include-dirs '("." "/usr/share/agda-stdlib"))