fix ensime!