You're right, my apologies. I couldn't find 'paxd' in Debian packages, probably because I'm still thinking as an Arch user and packages differ a little from Arch to Debian.
I'll create a report on paxctld. You may close this report. Regards, Amarildo
