Hi, thanks for the report ; I pushed a would-be fix to git. Both lintian and pbuilder seem happy with it. Within "pbuilder login", "gcc --version" says it's 4.8.2-21, so I guess it's good. I'll go looking for a sponsor later this week. Thanks, Snark on #debian-science