scripts for saving and looking up ndk symbols