FWFLASH_PROG_NAME
(void) fprintf(stdout, gettext("\n%s: "), FWFLASH_PROG_NAME);
(void) fprintf(stderr, "%s: ", FWFLASH_PROG_NAME);