diff --git a/src/bare.lsp.in b/src/bare.lsp.in
index 6ad6587b0..8090f9acd 100644
--- a/src/bare.lsp.in
+++ b/src/bare.lsp.in
@@ -16,7 +16,8 @@
 ;;;")
 
 (sys:*make-constant '+ecl-optimization-settings+ 
-  '(optimize (safety 2) (speed 1) (debug 1) (space 1)))
+  '((optimize (safety 2) (speed 1) (debug 1) (space 1))
+    (ext:no-check-arguments-type)))
 (sys:*make-constant '+ecl-unsafe-declarations+
   '(optimize (safety 0) (speed 3) (debug 0) (space 0)))
 (sys:*make-constant '+ecl-safe-declarations+
@@ -152,7 +153,7 @@
 (defun build-module (name sources &key additional-files
                      (builtin nil) (dir "build:")
                      ((:prefix si::*init-function-prefix*) "EXT"))
-  (proclaim +ecl-optimization-settings+)
+  (mapc #'proclaim +ecl-optimization-settings+)
   (let* ((name (string-downcase name)))
     (when additional-files
       (setf *module-files* (append additional-files *module-files*)))
diff --git a/src/compile.lsp.in b/src/compile.lsp.in
index 4be0604c5..9d30b5861 100755
--- a/src/compile.lsp.in
+++ b/src/compile.lsp.in
@@ -71,7 +71,7 @@
 ;;; * Compile and link Common-Lisp base library
 ;;;
 (setq si::*keep-documentation* nil)
-(proclaim +ecl-optimization-settings+)
+(mapc #'proclaim +ecl-optimization-settings+)
 (let* ((c::*cc-flags* (concatenate 'string "-DECL_API -I\"@true_builddir@/c\" " c::*cc-flags*))
        (lsp-objects (compile-if-old "build:lsp;" +lisp-module-files+
 				    :system-p t :c-file t :data-file t :h-file t
@@ -79,7 +79,7 @@
 				    )))
   #+CLOS
   (let* ((c::*compile-to-linking-call* nil))
-   (proclaim +ecl-optimization-settings+)
+   (mapc #'proclaim +ecl-optimization-settings+)
     (setq lsp-objects (append lsp-objects
 			      (compile-if-old "build:clos;" +clos-module-files+
 					      :system-p t :c-file t :data-file t :h-file t
@@ -128,7 +128,7 @@
 ;;;
 ;;; * Compile and link Common-Lisp to C compiler
 ;;;
-(proclaim +ecl-optimization-settings+)
+(mapc #'proclaim +ecl-optimization-settings+)
 
 (si::pathname-translations "SYS" '(("**;*.*.*" "@ecldir\@/**/*.*")))