timestamp for util/config.h
