[sanitizer] Add a missing header.