timestamp for gtk--config.h
