tools.ps.linux: fix USE: system.