The text a15f06d8573f, as Debian 7 (Wheezy) shipped it.
Convert a Time-value into ISO-8601 format
Time.isoTime(3kaya) on Linux now
