removed obsolete boost workaround (boost ticket #4258)