INSTALL and README update