more general docker_images.txt