Build #1066 (Jul 5, 2021 5:43:35 PM)

PR #3524: Update INSTALL.md - Fix bro...

	No changes.
	GitHub pull request #3524 of commit a93274cfda1a13ddf6a3f89c9cb0f0fa51a2b135, no merge conflicts.

Configurations