diff --git a/boot/ocamlc b/boot/ocamlc
index 1f7167c52..36bed9caa 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index ab79e035e..8ebd6f01f 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ