timestamp for hdf/src/h4config.h
