timestamp for MHD_config.h
