timestamp for gdk--config.h
