Hi Linus,
I unfortunately do not understand the fix. Which file are you renaming into what?
I find the file libstdc++.so.6 in the Vaa3D folder but I don't know what to do with it.

Best regards,
Sophie Laturnus

Edit: Ah I found it, it is as simple as it could be. Rename the libstdc++.so.6 into libstdc++.so.6.CXXABI_1.3.8