Update build_docker_images.sh