core64 cannot be compiled due to the lack of str_eq on current nightly

[termoshtt]

The procedure in README cannot be compiled using current nightly (2017/11/05):

%xargo rustc --target nvptx64-nvidia-cuda -- --emit=asm
    Updating git repository `https://github.com/japaric/core64`
   Compiling core v0.0.0 (https://github.com/japaric/core64#202f5ca8)
error[E0522]: definition of an unknown language item: `str_eq`.
    --> /home/myname/.cargo/git/checkouts/core64-98c99607e3b29655/202f5ca/str/mod.rs:1379:1
     |
1379 | / fn eq_slice(a: &str, b: &str) -> bool {
1380 | |     a.as_bytes() == b.as_bytes()
1381 | | }
     | |_^

error: aborting due to previous error

This seems to be due to rust-lang/rust#44658
Actually, we can compile using nightly-2017-09-01, for example.

[japaric]

fixed in japaric-archived/core64#3