timestamp for src/ccd/config.h
