Don't warn about being double+ included anymore