make.sh: fix tmpfs build on 32bit machines