Fixing problems with older Boost version