Use the right file names.