Fix processing device registration

The device server executable name is used instead of the "full name", aka <server executable name>/<server instance name>.