make gcc-4.8 on ubuntu happy with the unused typedefs