Fix some header inclusions
Passed
Michael Kuron
created pipeline for commit
706d0739
, finished
1 related merge request: !228 Vectorization improvements
8 minutes 31 seconds, queued for 3 seconds