Modified kRnel to compile and run with rust 0.9