XXX Workaround for grsecurity