timestamp for src/mathlib_configuration.h
