Added a patch from gentoo to fix +tools for boost-1.54.0