Hack our way around rust-lang/rust#19387

cc. #228