Finally I could resolve the problem with the help of the IT-support at my university.   Eventually, all we needed to do was to set-up a 32-bit architecture on my machine (so eventually I have 32-bit and 64-bit in parallel(-> how to multiarch)) and install the 32-bit version of the mentioned libstdc++.so.6 library.   Cheers, Marcus ... View more