Fixing crash in ocrandom.c (#516)