It is linux_devtools-8.0_5. I just noticed is should really go away...
However going to use linux_dist-gentoo-stage3 means giving up fc4,
that's a bit inconvinient (I finally made everything working properly
by installing fc4).
--
<< Marcin Cieslak // saper at system.pl >>