Commented out Ensime stuff