Noted. I will get help to look at that, as I'm not doing the Android patch myself. Sorry for your inconvenience.
