Fix arduino/random.