Files used for the Docker image creation.