Update thutil.hpp