Tweak AndroidManifest a bit