remove dead #include I missed in 4598282