Avoid printing looking for TBB twice in configure.