diff --git a/library/backtrace b/library/backtrace
index 72265bea21089..fd0aed536dd9d 160000
--- a/library/backtrace
+++ b/library/backtrace
@@ -1 +1 @@
-Subproject commit 72265bea210891ae47bbe6d4f17b493ef0606619
+Subproject commit fd0aed536dd9d6ad1511a4ab3c350409f36ee52a
diff --git a/library/stdarch b/library/stdarch
index 47b929ddc521a..a5709ad53ceef 160000
--- a/library/stdarch
+++ b/library/stdarch
@@ -1 +1 @@
-Subproject commit 47b929ddc521a78b0f699ba8d5c274d28593448a
+Subproject commit a5709ad53ceef016902faf349f0d48aff1826f22
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
index f381c1a376c83..c93499cb7a398 100644
--- a/scripts/check_kani.sh
+++ b/scripts/check_kani.sh
@@ -44,7 +44,7 @@ cargo build-dev --release
 echo "Running tests..."
 echo
 cd "$VERIFY_RUST_STD_DIR"
-$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates -Z ptr-to-ref-cast-checks
+$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates
 
 echo "Tests completed."
 echo