k0.7.5
android: migrate to Android Studio build system
tools: remote --dissociate, make old git client happy
shell: use more portable way to ensure bash