The text d72daee270ed, as Debian 7 (Wheezy) shipped it.
get the current time
microtime(9freebsd) on Linux now
