Yes, this does look quite awkward to fix. But maybe mention the problem and
workaround for MiKTeX users in the documentation somewhere?

Thanks again for your help.