# Not every platform has or needs sudo, gotta save them O(1)s...
sudo_cmd=""
if [ type -p sudo ]; then
  ((EUID)) && [[ -z "$ANDROID_ROOT" ]] && sudo_cmd="sudo"
fi