Some updates for INSTALL