# fnm.awk
# uses input file 'names'
# e.g.: gawk -f fnm.awk names

  {
  newn = tolower ($1)
  oldn = $1
  system ("mv " $1 " " newn) 
  }