Using PROGNAME for the simulator