Changing this file while somebody else is renaming it