OK, thank you so much! I had tried to run it, but without prefixing it with "wine", which never occurred to me, and so of course it didn't work (which is why I thought maybe it wasn't the executable after all). Thanks again, now I can move forward with my evening :-) .