use weak aliase rather than weak reference for vdso clock_gettime