C64 Mini Playable file formats