Remove a completely unused header
Merge pull request #798 from mstorsjo/remove-unused-header

Remove a completely unused header