Is this file actually used by anything?