make.sh: small fixes to console output