ITS#9544 fix #9511 patch

Include was erroneously deleted. partially reverts 6cdfc85f
3 jobs for master in 44 minutes and 23 seconds (queued for 3 seconds)