diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh
index 906cbd67a27..decbd93f228 100755
--- a/etc/ci/test-fiat-c-boringssl.sh
+++ b/etc/ci/test-fiat-c-boringssl.sh
@@ -26,7 +26,7 @@ pushd boringssl >/dev/null
 echo "::group::Patching BoringSSL"
 ({
     set -ex
-    ( cd third_party/fiat && for i in *.h; do cp "${SUBCOMPONENT_PATH}/${i/.h/.c}" "$i" || exit $?; done ) || exit $?
+    ( cd third_party/fiat && for i in *.h; do if [ "$i" != "curve25519_64_msvc.h" ]; then cp "${SUBCOMPONENT_PATH}/${i/.h/.c}" "$i" || exit $?; fi; done ) || exit $?
     ( cd third_party/fiat && git --no-pager diff )
 }) || exit $?
 echo "::endgroup::"