android: updated for rust 5484d6f6d 2014-12-02 00:22:00 +0000