Doing fork: Bad file number