unsigned int *num, char **infofile);
/* From tools.c */
+/* If set, print all commands run, all output they give and exit status. */
+extern bool tools_verbose;
char *talloc_basename(const void *ctx, const char *dir);
char *talloc_dirname(const void *ctx, const char *dir);
char *talloc_getcwd(const void *ctx);
char *run_command(const void *ctx, unsigned int *time_ms, const char *fmt, ...);
char *run_with_timeout(const void *ctx, const char *cmd,
bool *ok, unsigned *timeout_ms);
+char *temp_dir(const void *ctx);
char *temp_file(const void *ctx, const char *extension);
bool move_file(const char *oldname, const char *newname);