What is this file for, is it used?