removed now-defunct 'generate_namefile()'