timestamp for ode/src/config.h
