diff --git a/boot/ocamlc b/boot/ocamlc
index ec8bb58d3b8a..445d9347c852 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 72a36f9faeff..4b408f934486 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ