[Pike-devel] argv[0]?