emacs-gtk2 and coq hottness