This patch should be enough to enable us using __attribute__((deprecated)) portably (for eaxmple for functions in mathoms.c).