make sure that starting and stopping of the server works on Linux/mono