Is “$0” (`argv[0]`) correct when the pre-compiled binary is launched instead of the script?

Ahh good question. I had to think a while before I understood what you meant. Let me check when I can.

Nice catch.

edit: you are right. The binary version will result in a different argv[0]. Not sure what'd the best solution would be. Hardcoding doesn't make sense, as symlinks also change argv[0], so overriding is not the way to go.

bash, zsh, and ksh93 support `exec -a` especially for this case.