Adapt to older boost version