Hack our way around rust-lang/rust#19387