[Boost-users] get local time in microsecondes :-)