timestamp for lib/tre-config.h