I am attempting to flash the SD card with the provided bash script, however the 'gdd' command is not found. I have installed all of the packages specified in the Android Users Guide under section 2.1 - Setting up your computer using apt-get, however gdd is not a command my computer is recognizing. Does anyone know which package I need to install?