start-docker.sh: on ARM build images, don't pull