emacsmirror/lambdapi-mode not found