std::io::timer::sleep() now accepts a Duration