Build #17 (Jul 15, 2019 6:13:04 PM)

PR #2457: fix various compilation war...

	No changes.
	GitHub pull request #2457 of commit 487492d8d7d1fa71b950db54f1bc004a45273705, no merge conflicts.

Configurations