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