timestamp for glibmmconfig.h
