Using PROGNAME from now on