my $log_file = 
        $CmdOptLogFile
    ||  $DefaultLogFile;