Added another missing boost file