for us Emacs folks, upgrade ENSIME version