Regenerate and update boilerplate INSTALL.