Fix for boost version < 1.47