Fix for older boost versions