argsof/: included sys.argv[0] in output