timestamp for System_SDL/config.h
