workarounds for libstdc++ and libc++ on linux