Jason House wrote: > I don't know if it helps, but it seems like many people have problems when > using the gdc 4.2 package. I've never had trouble using gdc 4.1 out of > the box. Yep, you're right, it's a gdc bug... https://bugs.launchpad.net/ubuntu/+source/gdc-4.2/+bug/235955