Check INSTALL for updates

Ensure to update INSTALL properly.