Fix path to the command to start the server.

But command line options must be updated...