fixup! Eliminate all external uses of boost