protect header against double inclusion