We do not need ARGV, Argc and Argv - just use argc and argv like normal
people do.

ok beck@ (although he wanted #Arrrrrrrgv instead).
Casting from a const unsigned char ** to a const unsigned char ** seems...
unnecessary. Remove the temporary ugly casts - the comments even call them
that!

ok guenther@