Minor OS X maintenance

This just gets rid of an unused header file.