Fix a g++ error with --enable-shell-use-argv