tags 241255 +fixed-upstream thanks A patch by Jakub Jelinek has been approved, so this should be fixed next time CVS is pulled. -- Falk