Protect header against double inclusion