On 01.05.2013 14:13, Baptiste Daroussin wrote: > On Tue, Apr 30, 2013 at 08:49:41PM -0400, Mikhail T. wrote: >> Any comments? > No need, committed, thank you :) Awesome, thanks. How about the other patch -- which tells boost-*, which exactly of the gcc-compiler family to use rather than always using g++ (g++48, g++46 ...)? -mi