Fixup Android platform detection patch.