shell tools for android/linux/etc