FIX: missing random.reds in includes.r