update to CUED Emacs