Removing irrelevant stuff from AndroidManifest.xml