use libstdc++ on Linux (there is no libc++ available)