where do file names such as this one come from?