timestamp for src/ini_config.h