timestamp for config_aux/config.h
