Remove an include duplicate after runing maint/utils/find-dup-includes/runme.sh