Fixing bug in sys_pipe, sys_pipe2
- We need to populate unix_fds with Some value before calling fresh_fd() again