Let ENSIME to use local documents.