timestamp for Source/config.h