std::util: fix missed old constructor