timestamp for crlibm_config.h
