a few more minor fixes to ExternallyOwnedMemoryBinaryInputStream and its usage in regtests