Updated INSTALL files + small fixes