misc/jenkins: improve check-android