Microsecond time measurement under Linux