These files are generated and copied here.