Minor improvements to installall.sh