Fix detection of getrandom()
2 files changed