Remove a clang+libc++ workaround that is not any more needed.