Fix NaCl syscall