* file_ops.c: cmd_read() now returns a short read at end-of-file instead of