That is correct. I'll see if I can write a proper server guide for you soon, unfortunately I've got a lot on my plate at the moment. The jkgalaxiesded file is not available as a linux binary, as we have not yet built support for linux. However, the source code is open source, and if you would really like one you're welcome to compile it yourself. @@Xycaleth might be interested in trying to get it to work for you in a few months perhaps.