Version 2.4: Use GNU patch on Android