Refinement; added INSTALL script.