Helping gcc with extra typedef