timestamp for src/proj_config.h