Simplify pushing to Android over adb