Hi, I love Tiny Core and wanted to give dCore x86_64 a try. I am running it in VirtualBox.
The 32-bit version works fine. The 64-bit stretch version boots to a command prompt and trying to run `sudo tce-setup` results in:
```
* Md5sum error on /tmp/builtin/dCorePlus-stretch64.sce,
not loading:
dCorePlus-stretch64
```