Fix a "unused local typedef" warning produced by gcc 4.8
remove forgotten file only used by the removed IMPET code

well, it is rather "kind of used".