fixing some issues after design change in sri-delhi-rust-libcss