ensime updates