Revise how ensime is added