update Mirana for newer Rust from 11.12.2013