Build #418 (Mar 28, 2020 7:38:47 PM)

PR #2845: make -lrt linking optional

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

Configurations