added boost/thread/once.hpp to generated util.cpp