diff --git a/ci-test.sh b/ci-test.sh
index 3859f98..6f8c558 100644
--- a/ci-test.sh
+++ b/ci-test.sh
@@ -55,7 +55,7 @@ alloc)
     ;;
 std)
     # Modules that we skip because they need a lot of shims we don't support.
-    SKIP="fs:: net:: process:: sys::pal:: sys::fd::"
+    SKIP="fs:: net:: process:: sys::fd:: sys::pal::"
 
     # A 64bit little-endian and a 32bit big-endian target,
     # as well as targets covering all major OSes and both ABIs on Windows.
diff --git a/rust-src.diff b/rust-src.diff
index e69de29..885c25e 100644
--- a/rust-src.diff
+++ b/rust-src.diff
@@ -0,0 +1,12 @@
+diff --git a/library/std/src/io/mod.rs b/library/std/src/io/mod.rs
+index 96fac4f6bde..fbb3ea603ab 100644
+--- a/library/std/src/io/mod.rs
++++ b/library/std/src/io/mod.rs
+@@ -2335,6 +2335,7 @@ pub trait BufRead: Read {
+     /// #![feature(buf_read_has_data_left)]
+     /// use std::io;
+     /// use std::io::prelude::*;
++    /// # if cfg!(all(miri, windows)) { return Ok(()); } // FIXME(miri-windows-file-access)
+     ///
+     /// let stdin = io::stdin();
+     /// let mut stdin = stdin.lock();
diff --git a/rust-version b/rust-version
index d6867e9..5818767 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-nightly-2025-05-01
+nightly-2025-05-18