Contribs: Remove unneeded Android patch