Fix issue in making images on 32-bits linux distro