os_type unix clock_gettime gettimeofday posix_mlock gmtime_r dlopen linux-gnu