timestamp for cc1plugin-config.h