timestamp for include/ppl7-config.h
