Removing ensime