timestamp for src/ninja/ninja_config.h
