tools.ps.linux: fix USE: system.
tools.ps.linux: fix USE: tools.ps.