What is this file doing here?