timestamp for src/rasqal_config.h
