added some lines to INSTALL document