Fix Boost-ios example