Add gdbmpi to c.snippets