[Issue 9450] INSTALL file needs updating