[Issue 9450] New: INSTALL file needs updating