emacs: L4Re compile mode