few last minute things for grsecurity 1.9.4