Fix builds of the Docker image on non-x86 platforms.