- while there, remove patch-src_server_c too, all the various /dev/*random are equivalent now, ok Brad