should fix linux-vdso.so issue