Rename serverrandom.cc to serverandom.cc