Switch from rust-core to libcore