Do not rely on android executable being on the $PATH