Fix binary name for extension CLI (#9591)

This PR fixes the binary name for the extension CLI.

This was originally done in #9541, but got accidentally reverted in
#9549.

Release Notes:

- N/A
3a2eb12f68Marshall Bowers committed on 3/20/2024, 6:16:23 PM· committed by GitHubparent59bc81d
1 file changedLine totals unavailable