update INTALL file, close #302