Shame that in this case, that wouldn't actually solve that problem Of course, if you'd said Gentoo instead, then it'd have been true