remove old Boost workaround