timestamp for lemon/config.h
