set(LIBCXX_ENABLE_RANDOM_DEVICE OFF CACHE BOOL "")