make destroy_public_keys safer