Argument processing refined.
pidfile is now in server config.