remove unnecessary #include from Util.cpp