Add support for getrandom()