@prattp:

Thanks, that works. Indeed it is not very Mac-like. But Aladdin doesn't support any older formats.

@ken27238:

Not an option since this Mac runs only 10.6 or newer.