Aaaah. The file I have on my site is a Tar+GZIP file. Whatever you
used to expand it probably only gunzipped the file leaving you with a
TAR file with no extention. If you like, I can also post a version
that is just zipped instead of Tar+GZIP. Otherwise, you should be
able to use your unpacker to tell it to expand the contents of the
MiniVM1 file because it is a tar file.