fixup! Ticket #3027: use xorriso (if exists) for writing into ISO images