> Please, could you check if this patch > https://gist.github.com/redstar/5800e9dc85a1d5626e7e fixes the > problem? Yes I already tested the DigitalMarsWin64 version successfully in the meantime.