You can delete this file, doesn't seem like it's used for anything