timestamp for config-util.h
