diff --git a/boot/ocamlc b/boot/ocamlc
index 832a367bd..eab35eaf8 100755
Binary files a/boot/ocamlc and b/boot/ocamlc differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 0724439a8..89aa30fdb 100755
Binary files a/boot/ocamllex and b/boot/ocamllex differ