Android GUI: Port to new C wrapper API