Fix for different version of boost