timestamp for sources/config.h