updated number in INSTALL