Replace 'server_xen' with Filename.basename Sys.argv.(0) in logging messages.