Use of boost::make_shared in wdb

Third pass.