Name of log file to dump (may be given without extension)
