Fixing the sanitizer build failure: