timestamp for src/leon_config.h
