Works for me, although the conversion takes quite some time.
What was the output filename you used? (The converter determines input/output file format based on file extension)