Thank you, that did the trick. But now SH3D tells me, that the plugin is not compatible with this version of SH3D. I went on, and downloaded the 32 bit version instead. But... Running the terminal script, in the SH3D folder does nothing. A terminal window flashes, and closes. No more.
What can I do?