Are there issues using ptrace under l4linux? I'm trying to debug a process using gdbserver, but when I use stepi (PTRACE_SINGLESTEP) it seems to run until the next system call. Has anyone else seen this?