updated numbers in INSTALL