correct name of .img SD card image