Install missing header files.

26 jobs for !2774 with miscellany in 66 minutes and 10 seconds (queued for 8 seconds)
merge request