Unstable: issues with libstdc++ and libc++