I use the executable name in the config and tell people to add $STANDALONE_NDK/bin to $PATH.

  [target.arm-linux-androideabi]
  ar = "arm-linux-androideabi-ar"
  linker = "arm-linux-androideabi-gcc"