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