Upon changing a reader's file, if the name of its proxy is not the name of the previous file (i.e. the user renamed the proxy), the proxy's name is not modified anymore.