Removed obsolete #include directive.