remove unused header

I think this is unnecessary, and it builds on mine without it.