Fix CI include path

3 jobs for master in 11 minutes and 55 seconds (queued for 1 second)