Additions to the ndk-dbg.py script, to allow easier user