Remove a no-longer-needed #include.