Seems pretty interesting to toy with, but it seems there's no way to rename files, and they've stated they refuse to run the virus with that filename, so I don't know how to really proceed
Yea same here
Newest version now lets you rename files! Just right-click on any file and click "Rename". :)