run-as Pacote 'a.b.c' é desconhecido - Galaxy S4 Jellybean ou Android 4.3

Eu não posso executar run-as (ou ndk-gdb) para o Galaxy S4 rodando o Jellybean 4.2.2.

A depuração do NDK com o r9 funciona no W7 / 64, mas me causa problemas no XP