OK, got it.
I was missing the deletion of admin -> includes -> boxes -> extra_boxes -> googlesitemap_tools_dhtml.php.