Fix specification of "write" system call to match the file system