Patch binder.c for Android KitKat support