crosstool.sh: print script name in messages
getandpatch.sh: print script name in messages