Is it really necessary to change the name of this file?