Suppress unused local typedef warning for gcc. Fixes #757