diff --git a/c/Mf-base b/c/Mf-base
index fc952aa17a..f345b2db22 100644
--- a/c/Mf-base
+++ b/c/Mf-base
@@ -22,7 +22,7 @@ Main=../boot/$m/main.$o
 Scheme=../bin/$m/scheme
 
 # CFLAGS is propagated separately:
-SetConfigEnv = CC="${CC}" CPPFLAGS="${CPPFLAGS}"
+SetConfigEnv = CC="${CC}" CPPFLAGS="${CPPFLAGS}" AR="${AR}" ARFLAGS="${ARFLAGS}"
 
 # One of these sets is referenced in Mf-config to select between
 # linking with kernel.o or libkernel.a