Some tools for Android native development