I think so, you should not rename that file.