add working vdso clock_gettime support, including static linking