Modified vesuvius/INSTALL