.ensime file deleted