[GHC] #14097: -ddump-json doesn't interact as expected with -ddump-to-file