Build #462 (May 3, 2020 7:43:44 AM)

PR #2894: Bcc tools fixes

	No changes.
	GitHub pull request #2894 of commit 09be5b50c1168c2796786029fa159c63f71e2936, no merge conflicts.

Configurations