Use std::rt::io::Timer instead of an unsafe sleep()