Fix System.Native_Encoding.Encoding_Streams for the case of 'Read does not raise End_Error