Revert "Revert "Remove useless #include (found thanks to Danilo's script).": Failures everywhere."

This reverts commit 12f6564bec153894875fca4aa80f2dac3a756ce4.
Add header file missing after applying commit 2bd41d9