diff --git a/boot/ocamlc b/boot/ocamlc
index 2f1ba518a0e..39285cbf1ce 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 9481e52d5d2..40fa06143af 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ