only the python script, since it already downloads the android tools. I can add that functionality too, if you like...and look at adding HexGL to the list. I didn't want to duplicate functionality...