Sorry, I need to pay attention to what I'm doing. We talked about paxd in Arch having a different name on Debian. After looking into the list of files for paxctld [1], I see configuration files such as "paxctld.conf". I'm not on Debian right now, so if anyone could confirm those configurations have similar content as the one I posted on OP, please do tell me, because then this bug could simply be closed (and a lesson taught, to do research and not waste the developer's time ;-] ).
[1] https://packages.debian.org/sid/amd64/paxctld/filelist Sorry for this mess.
