diff --git a/boot/ocamlc b/boot/ocamlc
index cc9d3f317..639484ff4 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 56de25565..0579bcaea 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ