Updated INSTALL with Vargant section (3)