Expose android nm and readelf.  Python script to patch a single uint32 at some offset within a file.