Fix problem with DOCKER_ARCH