> Do you have access to a Linux/x86 machine? Could you please try > gdb 4.17.0.13 to see if it has the problems you tried to fix? No, unfortunately. If you can post the changes , I will try to use them on the platform that I can use for development and see if they solve the problems.