diff --git a/build/pkgs/fflas_ffpack/package-version.txt b/build/pkgs/fflas_ffpack/package-version.txt
index 2d33e69f32b..437459cd94c 100644
--- a/build/pkgs/fflas_ffpack/package-version.txt
+++ b/build/pkgs/fflas_ffpack/package-version.txt
@@ -1 +1 @@
-2.5.0+sage-2024-05-18b
+2.5.0
diff --git a/build/pkgs/fflas_ffpack/spkg-install.in b/build/pkgs/fflas_ffpack/spkg-install.in
index b9dd851875f..2aab4be446b 100644
--- a/build/pkgs/fflas_ffpack/spkg-install.in
+++ b/build/pkgs/fflas_ffpack/spkg-install.in
@@ -20,7 +20,7 @@ FFLAS_FFPACK_CONFIGURE="$SAGE_CONFIGURE_FFLAS_FFPACK $FFLAS_FFPACK_CONFIGURE"
 
 # If SAGE_FAT_BINARY is set, disable all processor-specific optimizations
 if [ "$SAGE_FAT_BINARY" = yes ]; then
-    FFLAS_FFPACK_CONFIGURE="--disable-sse --disable-sse2 --disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2 --disable-avx512f --disable-avx512dq --disable-avx512vl $FFLAS_FFPACK_CONFIGURE"
+    FFLAS_FFPACK_CONFIGURE="--without-archnative $FFLAS_FFPACK_CONFIGURE"
 fi
 
 # Need to use 'bash' for configure, see
diff --git a/build/pkgs/givaro/checksums.ini b/build/pkgs/givaro/checksums.ini
index 69b0d26a30c..d288e9a79f0 100644
--- a/build/pkgs/givaro/checksums.ini
+++ b/build/pkgs/givaro/checksums.ini
@@ -1,4 +1,4 @@
-tarball=givaro-VERSION.tar.gz
+tarball=givaro-4.2.1.tar.gz
 sha1=e666ec88a10f333158df09a9f0c23078d99282d9
 sha256=feefb7445842ceb756f8bb13900d975b530551e488a2ae174bda7b636251de43
-upstream_url=https://github.com/linbox-team/givaro/releases/download/vVERSION/givaro-VERSION.tar.gz
+upstream_url=https://github.com/linbox-team/givaro/releases/download/v4.2.1/givaro-4.2.1.tar.gz
diff --git a/build/pkgs/givaro/package-version.txt b/build/pkgs/givaro/package-version.txt
index fae6e3d04b2..70033cdf82f 100644
--- a/build/pkgs/givaro/package-version.txt
+++ b/build/pkgs/givaro/package-version.txt
@@ -1 +1 @@
-4.2.1
+4.2.1p1
diff --git a/build/pkgs/givaro/spkg-install.in b/build/pkgs/givaro/spkg-install.in
index ec05be95f16..1d39e1a7dfb 100644
--- a/build/pkgs/givaro/spkg-install.in
+++ b/build/pkgs/givaro/spkg-install.in
@@ -6,7 +6,7 @@ cd src
 
 # When SAGE_FAT_BINARY is set, disable processor-specific optimizations
 if [ "$SAGE_FAT_BINARY" = yes ]; then
-    GIVARO_CONFIGURE="--disable-sse --disable-sse2 --disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2  $GIVARO_CONFIGURE"
+    GIVARO_CONFIGURE="--without-archnative $GIVARO_CONFIGURE"
 fi
 
 cp "$SAGE_ROOT"/config/config.* build-aux/
diff --git a/build/pkgs/linbox/checksums.ini b/build/pkgs/linbox/checksums.ini
index eef89eb790c..09b65f1b189 100644
--- a/build/pkgs/linbox/checksums.ini
+++ b/build/pkgs/linbox/checksums.ini
@@ -1,4 +1,4 @@
-tarball=linbox-VERSION.tar.gz
+tarball=linbox-1.7.1.tar.gz
 sha1=a0834bc6d2ad61f25687595370e7e043b5fa8cd4
 sha256=a2b5f910a54a46fa75b03f38ad603cae1afa973c95455813d85cf72c27553bd8
-upstream_url=https://github.com/linbox-team/linbox/releases/download/vVERSION/linbox-VERSION.tar.gz
+upstream_url=https://github.com/linbox-team/linbox/releases/download/v1.7.1/linbox-1.7.1.tar.gz
diff --git a/build/pkgs/linbox/package-version.txt b/build/pkgs/linbox/package-version.txt
index 943f9cbc4ec..063d46fdeb5 100644
--- a/build/pkgs/linbox/package-version.txt
+++ b/build/pkgs/linbox/package-version.txt
@@ -1 +1 @@
-1.7.1
+1.7.1p1
diff --git a/build/pkgs/linbox/spkg-install.in b/build/pkgs/linbox/spkg-install.in
index 7acc5547e9f..6beff830606 100644
--- a/build/pkgs/linbox/spkg-install.in
+++ b/build/pkgs/linbox/spkg-install.in
@@ -15,7 +15,7 @@ export CPPFLAGS="$CPPFLAGS -DDISABLE_COMMENTATOR"
 
 # If SAGE_FAT_BINARY is set, disable dependency that be discovered on the building system.
 if [ "$SAGE_FAT_BINARY" = yes ]; then
-    LINBOX_CONFIGURE="--disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2 --without-ocl $LINBOX_CONFIGURE"
+    LINBOX_CONFIGURE="--without-archnative --without-ocl $LINBOX_CONFIGURE"
 fi
 
 # Disable fplll as version 5.x is not supported by linbox <= 1.5.0.