undmg: use file name instead of pipe
There’s some issue in really big files with pipes that doesn’t occurin filename decompression.
Matthew Bauer 5 years ago e57df581 4694b671