Migrated to Rust Nightly July 22 2013