timestamp for rfc2045_config.h