Apparently unnecessary file is necessary