A compilation fix for older compilers and versions of boost