timestamp for include/sphinx_config.h
