args: print cmdline of PID on Linux only