timestamp for lib/Config.h