timestamp for gnustep/config.h
