Update INSTALL.md

9 jobs for 76-install-update-debian-status in 3 minutes and 32 seconds (queued for 2 seconds)