grsecurity: Only include gmp headers in tools/gcc