Fix support for --pingurl at the command line.