timestamp for gcc-plugin/config.h
