Force people to use the right header with an #error.