Bug fix: file_read sometimes returned early EOF.