Build #415 (Mar 28, 2020 7:41:32 AM)

PR #2845: make -lrt linking optional

	No changes.
	GitHub pull request #2845 of commit 5dca77c643e93e392f5c54a161b9476c572269d5, no merge conflicts.

Configurations