cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;
cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle