icculus@7924: timestamp for config.h