Now that the ManagedExec has been changed, shouldn't that be the pid rather than PR_SET_PTRACER_ANY?