Trying to fix it, will take a while.
Mike Pall wrote: Ok, works now. Fix is in git HEAD. Thanks to everyone involved