Another fix for old boost version