Fixes #12710. Signed-off-by: Augustin Cavalier <waddlesplash@gmail.com> I fixed the modifications to the Jamfiles in src/bin, they were all wrong in the patch.