timestamp for antlr3config.h