libcxx include directory can't find platform specific include path

[ricardaxel]

Hello,

The step 7 of Building KLEE with LLVM 13 doc suggests to use -DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/include/c++/v1/

Wouldn't it better to suggest -DKLEE_LIBCXX_INCLUDE_DIR=<LIBCXX_DIR>/libc++-install-130/ ? So that KLEE_LIBCXX_PLATFORM_INCLUDE_PATH can be set properly as well as KLEE_LIBCXX_INCLUDE_PATH ?