Re: inserting -stdlib=libstdc++ into cxxflags

[René J . V . Bertin]

BTW, did you ever run into trouble with libstdc++'s "new ABI" 
(https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_dual_abi.html) ?

R.