Merge "Don't install Android-only dependencies to microdroid" into main