extern void rewrite_gitmodules(const char *workdir);