Re: [PATCH] Fix build when HAS_GETRANDOM is undefined