Christos> This isn't feasible, though, so in case we add more Linux Christos> machines, at least make sure that the libc/gcc combo is not Christos> one already used in the existing ones. Maybe include libc/gcc versions in the name or description? Skip