home/.emacs.d/init.el: avoid agda-input-setup if not installed