GCC 4.8 -Wunused-local-typedefs complains about an unused local typedef.

fixes #9888.