I found a debian bug report on that issue, and it seems to indicate that this is a gdc issue: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583837
I found a debian bug report on that issue, and it seems to indicate that this is a gdc issue: http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 583837