Ha Wanda, bedankt! Daar was ik ook al bang voor, maar nu heb ik libstdc++5 geïnstalleerd (terwijl libstdc++6 ook al geïnstalleerd is, dus ik hoop dat daar niets gaat wringen), en het werkt nu. Dubbelklikken op dat bestand blijkt gewoon het programma te openen...
Maar even afwachten of het goed gaat
Het is best een handig progje.