Update boost.proto