I sort of went the other way and just deleted the file. It didn't appear to be used by anything.