fixing an incompatibility with Posix.IO.mkTextReader
fixing an incompatibility with Posix.IO.mkTextReader

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle