[GHC] #10320: -ddump-to-file should create empty dump files when there was nothing to dump