> I flagged the problem the arch maintainer Eric Christopher. Maybe I > should file a formal bug report? Yes, definitely. Then, please send me the PR number. Thank you, -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com