Remove unused typedef
Make headercheck pass again