stub for tool/ReleaseCheck2.sh