I don't believe this file is actually used, let's just delete it.