On Sun, Jun 08, 2008 at 09:04:30PM +0000, Havard Eidnes wrote: > Discussed with joerg, and even though he's not entirely happy > with the latter change, he didn't appear to have a better suggestion. Yes, I did. http://mail-index.netbsd.org/tech-pkg/2008/06/06/msg001085.html Joerg