Fix bug in default output file name.