Re: [boost] [PATCH] Fix tools/wave compilation