What is this file for? Is it used?