[racket] Can raco exe assign a name other than "racket"?

On 29.03.11 19:03, Matthew Flatt wrote:
> At Mon, 28 Mar 2011 07:28:54 -0600, Matthew Flatt wrote:
>> To change the name shown by `ps', it looks like Racket could call
>> prctl() with PR_SET_NAME --- at least for Linux (2.6.9 and up). I'll
>> look into that more.
>
> I've pushed that change. Racket sets the process name to match the -N
> argument if supplied, otherwise it sets the name to match argv[0].
>
> The latter makes `raco exe'-produced executables have the expected
> name, and the former makes `drracket' start a process with the name
> `drracket' (instead of `gracket').

And from what place does Linux get the process name if not from argv[0]? 
ELF headers?

-- 
regards,
Jakub Piotr Cłapa