build/android: make linux shell happy