Update INSTALL.md

12 jobs for patch-1 in 49 seconds (queued for 3 seconds)