Some things to make ./make.sh faster