Turn 'num' argument to RAND_file_name into a size_t (rather than an int).