Hi Anthony DeRobertis wrote: > If you're just trying to build static binaries, have you considered just > installing gcc from source into /usr/local ? Yes, but since I do like .debs very, very much, we thought maybe we could take it to that level and don't need the full manual monty... But yes, that's our last resort. Thanks! Carsten