timestamp for cppad/config.h
