Improve the COMPAT_VDSO check