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