use getauxval if it is available