Fix compilation after mozilla/rust#9896

mozilla/rust#9896 broke it, and this fixes it.