fix paxmark on non-linux (a bug in grsecurity PR #1187)