Frank installed boost 1.35 (since nobody told him not to). The changes
to support it are quite minor, just replacing some incomplete
definitions with complete ones for objects used in ObjectPointers.
The patch is against the current head, so is independent of the other
changes.