Merge branch 'issue/install-missing-headers' into 'master'

Oliver Sanderrequested to merge
cherry-pick-1d837397 into releases/2.9

Install two additional headers

See merge request !391 (merged)

(cherry picked from commit 1d837397)

50268ba5 Install two additional headers

Merge request reports