diff --git a/boot/ocamlc b/boot/ocamlc
index 67f3cef1f814..3c3c7f2b06ef 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 1beb63f30519..da31527b0483 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ