diff --git a/config/pnacl/make_defs.mk b/config/pnacl/make_defs.mk
index b709441dc..1a2dd8a18 100644
--- a/config/pnacl/make_defs.mk
+++ b/config/pnacl/make_defs.mk
@@ -95,7 +95,7 @@ CFLAGS_KERNELS := $(CDBGFLAGS) $(CKOPTFLAGS) $(CVECFLAGS) $(CWARNFLAGS) $(CMISCF
 CFLAGS_NOOPT   := $(CDBGFLAGS)                            $(CWARNFLAGS) $(CMISCFLAGS) $(CPPROCFLAGS)
 
 # --- Determine the archiver and related flags ---
-AR             := ar
+AR             := pnacl-ar
 ARFLAGS        := cru
 
 # --- Determine the linker and related flags ---