BUG: 12772 fixes for change in Boost graph API

This fixes bug 12772, where an API change in Boost was causing
compilation failures using Boost 1.38. Thanks to Orion Poplawski for
reporting the issue and posting the patch.

Change-Id: I491b0f1650c0be19319533306eb10597dc96fa06