python-wrapper: fix wrapped argv[0] without sed (maybe^_^)

This hack is untested and implements my understanding of azlig's proposal in 24ef871e6a1c858af3f9984a5b526c83b24520ed, and works as far as pull request #3401 is concerned.