make.sh: Fix shell on 64bit hosts.