Patching system for android source