Generate progs.h from a bunch of files instead of internal knowledge