[Sanitizer] Don't #include the same system header twice.