Scripts to handle encrypted Android disk images