Changing the name of the server executable in distro