Fix io-ptrace-write on linux-64