Trying to fix the Android CI build...