timestamp for aux_config/config.h