get server and filename from /proc/cmdline