- fix io.File::read() function to invoke read() as much as need to read the
  requested amount of bytes
# according to https://bugs.php.net/bug.php?id=30936 the read() function may
# return less bytes than requested (at least for file loaded by stream wrappers)