Refresh INSTALL's version numbers from RELEASE-NOTES