fix_autoconf_timestamps: workaround for git's non-preservation of mtimes
progress reporting UI improvements