1.0.43.10: make.sh now accepts --dynamic-space-size=<size> option