timestamp for PROGRAMS/config.h
