diff --git a/boot/ocamlc b/boot/ocamlc
index a25f91f4208..9f1a74d75a4 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 565e87e623e..8b7bde6b56a 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ