[Sanitizer] don't include missing header on Android