Use correct file name with sed