Le 06/02/2013 14:09, Michael Stahl a écrit : > cannot find boost headers, should be fixed with > 865201442eb919f53a97a78bb88e53159cb9ca82, please try again... > That did it, thanks. Alex