Hello, FYI, I tried to run the testsuite and the results look pretty good: test result: FAILED. 769 passed; 1 failed; 62 ignored; 0 measured I have the same issue as reported here: https://github.com/rust-lang/rust/issues/19797 I will see to silent it tomorrow. Cheers, Sylvestre