am 88693e8d: Use new sanitizer option.

* commit '88693e8da664bcf6cfcd68b62190be76c1724ee8':
  Use new sanitizer option.