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

This reverts commit 2bd41d957b5df94ab9db49d5b7b4e477f04b74e3.