script/librelease.sh: this is replaced by script/release.sh now