Hi Eriberto, I have pushed a proper fix for #850828 which gets rid of all those mangled C++ symbols and takes 32 and 64 bit architectures into account. Is it okay for me to upload? Cheers, -Hilko