--- bin_prot-2.0.9.old/myocamlbuild.ml	2018-06-20 20:39:23.831032731 +0100
+++ bin_prot-2.0.9/myocamlbuild.ml	2018-06-20 20:39:59.613139344 +0100
@@ -471,7 +471,7 @@
 
 # 473 "myocamlbuild.ml"
 (* OASIS_STOP *)
-# 465 myocamlbuild.ml
+# 465 "myocamlbuild.ml"
 
 (* We probably will want to set this up in the `configure` script at some
    point.*)