Update build system. Delete INSTALL (generated).