R4R: add virgo distribution so we can force it from ./configure