Remove useless #include (found thanks to Danilo's script).