patch for utility.hpp