patchfile plugin: Fix compile error on Android