random.c missing settings include fix