On 06/27/2014 11:31 AM, Henry Vermaak wrote: > > The latest release (2.6.4) has clock_gettime() in unit linux. > On Debian I seemingly only have 2.6.0-9 :-( -Michael