A bash emulator for Android