No real opinion -- not familiar enough with this to suggest alternative solutions. Patch itself looks OK. -- Alexander bernalex@gentoo.org https://secure.plaimi.net/~alexander