calling pybinext on the cmdline translates argv1 to stdout
incorrectly handled empty strings