The text 9095fbb06aff, as Debian 7 (Wheezy) shipped it.
Convert a Unix timestamp into ISO-8601 format
Time.isoTime_1(3kaya) on Linux now
