timestamp for gecode/support/config.hpp
