Always undefine PROGNAME before including a file
Re-generated "others.c"