Modify clang libstdc++ workaround