Source

pypy / pypy / doc / config / translation.output.txt

Specify file name that the produced executable gets.