make check uses RUST_THREADS=1 to avoid races.