(because util.hpp is used pervasively, and I don't want <tr1/functional> in such a widely used header...