Rename random.awk to Random.awk