Now compatible with rustc 1.13.0-nightly (32571c05c 2016-09-17)
AFAICT this field is irrelevant to us, but it still must be initialized.