Fix app_random.c (bug #792)