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