tools: use [email protected] to remove unneeded files

PR-URL: #26462
Reviewed-By: Richard Lau <[email protected]>
Reviewed-By: Roman Reiss <[email protected]>
Reviewed-By: Ruben Bridgewater <[email protected]>
Reviewed-By: Colin Ihrig <[email protected]>
Reviewed-By: Yuta Hiroto <[email protected]>

Author: Trott