Extracting .midi files from music.vox

[bicilotti]

edit: disregard, just as I was writing this, files were found!

Hello Advanced Technical Forum, I am new here.

A few weeks ago I was contacted by a musician who wrote .midi music for one of my games (Colourwise). He asked me if I still got those files in my machine, becase he lost them. Quite unfortunately, the PC where I backed up all old data is far far away from me.

So here is the question: is there a painless way to extract those MIDI files from music.vox? I had some ideas involving "tricking" the IDE, but I am not on Windows, so I can't try them.

Any help appreciated!