ptrace-engine: Correct 32-bit format string issues