Added missing GPL header to src/rand.c