Fix build

From https://github.com/mozilla/rust/pull/11376