Fix building docker images for 32-bit ARM.