timestamp for rice/config.hpp
