oops! e' vero...

si tratta di debian
psa v7.5.4_build75060118.18 os_Debian 3.1

ciao grazie mille