Fix install headers

2 jobs for master in 2 minutes and 56 seconds (queued for 9 seconds)