Update INSTALL.md

12 jobs for patch-1 in 0 seconds (queued for 110 minutes and 39 seconds)