timestamp for include/arprec/arprec_config.h
