Add missing header needed for boost 1.57 compatibility.

With this one change, boost 1.57 seems to work perfectly well.