`:gcc` here means apple-gcc42, not FSF's GCCs. The name is unfortunate though.