Hi, thanks for this report. I've informed upstream about this issue and it will get fixed with the next release. In the unlikely case that this will happen after GCC 4.2 has entered Debian I'm going to fix this with a patch in the package. But as there seems to be some time left, I'd prefer that it gets fix by upstream.
Cheers, Michael -- GPG key: 1024D/3144BE0F Michael Hanke http://apsy.gse.uni-magdeburg.de/hanke ICQ: 48230050
signature.asc
Description: Digital signature
