Install missing header files.

26 jobs for !2774 with miscellany in 0 seconds (queued for 7 seconds)
merge request