I have skipped regenerating the INSTALL file because we want to continue using the 4.x generator for now.