Remove an obsolete #include.