Tools to create the SMALLplayer SD-card image